Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

Förlag	År	Ort	Om boken	ISBN
Springer	2011	Utgivningsland okänt / Ej specificerat